
void shell_install(const void *addr_time, const void *addr_keyboard);

void shell_run();
